1. A modern perspective on type theory :
پدیدآورنده: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
2. A modern perspective on type theory
پدیدآورنده: / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.
رده :
QA9
,.
K225
,
2004
